Domain model - PDFSEARCH.IO - Document Search Engine

Domain model
Results: 642

#	Item
371	Journal of Artificial Intelligence Research[removed] Submitted 09/02; published[removed]pddl2.1 : An Extension to pddl for Expressing Temporal Planning Domains Add to Reading List Source URL: www.jair.org Language: English - Date: 2009-08-06 19:19:36 STRIPS Domain model Fluent Domain Function Self Action language Automated planning and scheduling Artificial intelligence Planning Domain Definition Language
372	WebProphet: Automating Performance Prediction for Web Services Zhichun Li§ Ming Zhang† Zhaosheng Zhu‡ Yan Chen§ Albert Greenberg† Yi-Min Wang† § Northwestern University † Microsoft Research ‡ Data Domain I Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-03-03 00:44:36 Cross-platform software HTML Ajax JavaScript Document Object Model Transmission Control Protocol World Wide Web Google Chrome ViolaWWW Computing Software Computer programming
373	A Domain Specific Language for Project Execution Models Eugen Wachtel, Marco Kuhrmann, Georg Kalus Technische Universität München, Institut für Informatik – I4 Boltzmannstr. 3, 85748 Garching, Germany {wachtel\|kuhrm Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2009-10-05 15:48:41 Software development process Unified Modeling Language Domain-specific language V-Model Information Services Procurement Library Process modeling Domain model Digital subscriber line Meta-process modeling Software development Systems engineering Software
374	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2013-10-30 13:54:10 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering
375	General Domain Circumscription and its First-Order Reduction Patrick Doherty1? , Witold L ukaszewicz2?? , Andrzej Szalas2??? 1 Department of Computer and Information Science, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:10:24 Mathematics Interpretation Function Circumscription Skolem normal form Predicate variable Second-order logic Mathematical logic Logic Model theory
376	General Domain Circumscription and its First-Order Reduction Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:24:52 Model theory Circumscription Interpretation Function Predicate variable Term Skolem normal form Second-order logic FO Mathematical logic Logic Mathematics
377	Towards Two-Level Formal Modeling of Computer-Based Systems Gabor Karsai (Vanderbilt University, Nashville TN [removed]) Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2008-06-17 12:09:05 Computing ISO standards Scientific modeling Domain-specific modeling Metamodeling Modeling language Object Constraint Language Generic Modeling Environment Entity-relationship model Software engineering Unified Modeling Language Data modeling
378	SAMHSA Model Programs Strengthening Families Program Brief Description \| Recognition \| Program IOM \| Intervention Type \| Content Focus \| Protective Factors Risk Factors \| Interventions by Domain \| Key Program Approaches Add to Reading List Source URL: www.strengtheningfamiliesprogram.org Language: English - Date: 2008-10-22 12:58:39 Life skills Parent education program Parenting Psychology Psychological resilience Psychiatry Mind Communities That Care Multisystemic therapy Drug addiction Substance abuse Substance abuse prevention
379	Model Information Technology Contract for Personal Services Add to Reading List Source URL: www.wsdot.wa.gov Language: English - Date: 2015-01-25 08:06:11 Contract law Statement of work Invoice Contract Eminent domain Accounts payable Law Government procurement in the United States United States administrative law Business
380	MEMORANDUM FOR DOJ COMPONENT CHIEF INFORMATION OFFICERS Add to Reading List Source URL: niem.gov Language: English - Date: 2012-02-01 08:35:16 Information ISO/IEC 11179 Metadata registry National Information Exchange Model Government Maritime domain awareness Information sharing Information Sharing Environment NIEM conformance United States Department of Justice United States Department of Homeland Security Data

UPDATE